-
1 finitely satisfiable
Большой англо-русский и русско-английский словарь > finitely satisfiable
-
2 finitely satisfiable
Математика: конечно выполнимый -
3 finitely satisfiable
мат.English-Russian scientific dictionary > finitely satisfiable
-
4 finitely
конечно-дифференцирующий almost finitely generated module ≈ почти конечно порожденный модуль almost finitely related module ≈ почти конечно связанный модуль finitely additive function ≈ конечно аддитивная функция finitely additive measure ≈ конечно аддитивная мера finitely approximable group ≈ конечно аппроксимируемая группа finitely approximable semigroup ≈ финитно аппроксимируемая полугруппа finitely approximated system ≈ конечно аппроксимированная система finitely axiomatizable class ≈ конечно аксиоматизируемый класс finitely axiomatizable quasivariety ≈ конечно аксиоматизируемое квазимногообразие finitely axiomatizable system ≈ конечно аксиоматизируемая система finitely axiomatizable theor ≈ конечно аксиоматизируемая теория finitely axiomatizable variety ≈ конечно аксиоматизируемое многообразие finitely basable manifold ≈ конечно базируемое многообразие finitely bounded germ ≈ конечно ограниченный росток finitely cogenerated group ≈ конечно копорожденная группа finitely compact manifold ≈ конечно компактное многообразие finitely compact set ≈ конечно компактное множество finitely compact space ≈ конечно компактное пространство finitely connected domain ≈ конечносвязная область finitely connected module ≈ конечно связный модуль finitely connected subset ≈ конечно связное подмножество finitely convergent element ≈ конечно сходящийся элемент finitely convergent semigroup ≈ конечно сходящаяся полугруппа finitely definable quasivariety ≈ конечно определимое квазимногообразие finitely definable variety ≈ конечно определимое многообразие finitely defined algebra ≈ конечно определенная алгебра finitely defined group ≈ конечно определенная группа finitely definite set ≈ конечно определенное множество finitely differentiable equation ≈ конечно-дифференцируемое уравнение finitely generated algebra ≈ конечно порожденная алгебра finitely generated extension ≈ конечно порожденное расширение finitely generated field ≈ конечно порожденное поле finitely generated group ≈ матем. группа с конечным числом образующих finitely generated model ≈ конечно порожденная модель finitely generated monoid ≈ конечно порожденный моноид finitely generated presentation ≈ конечно порожденное представление finitely generated representation ≈ конечно порожденное пространство finitely generated ring ≈ конечно порожденное кольцо finitely generated semigroup ≈ конечно порожденная полугруппа finitely generated sheaf ≈ пучок с конечным числом образующих finitely generated structure ≈ конечно порожденная структура finitely generated subgroup ≈ конечно порожденная подгруппа finitely generated submodule ≈ конечно порожденный подмодуль finitely generated subobject ≈ конечно порожденный подобъект finitely generating ideal ≈ конечно порожденный идеал finitely mean valent function ≈ конечнолистная в среднем функция finitely measurable function ≈ конечно измеримая функция finitely measurable set ≈ конечно измеримое множество finitely presented group ≈ конечно представимая группа finitely presented module ≈ конечно представимый модуль finitely presented semigroup ≈ конечно определенная полугруппа finitely presented system ≈ конечно представленная система finitely productive space ≈ конечно продуктивное пространство finitely related group ≈ группа с конечным числом отношений finitely related presentation ≈ представление с конечным числом соотношений finitely related representation ≈ представление с конечным числом определяющих соотошений finitely sheeted domain ≈ конечнолистная область finitely sheeted space ≈ конечнолистное пространство finitely spanned module ≈ матем. модуль конечнопорожденный finitely triangulated manifold ≈ конечно триангулированное многообразие finitely triangulated space ≈ конечно триангулированное пространство finitely triangulated triad ≈ конечно триангулированная триада finitely valued function ≈ конечнозначная функция finitely valued random variable ≈ конечнозначная случайная величина purely finitely additive ≈ вполне конечно аддитивный - at most finitely many - finitely additive - finitely approximable - finitely axiomatized - finitely branched - finitely cogenerated - finitely compact - finitely connected - finitely covered - finitely definable - finitely defined - finitely dependent - finitely differentiable - finitely distributive - finitely generated - finitely invariant - finitely measurable - finitely open - finitely presented - finitely productive - finitely related - finitely satisfiable - finitely sheeted - finitely subadditive - finitely valued FinitelyБольшой англо-русский и русско-английский словарь > finitely
-
5 satisfiable
выполнимый jointly satisfiable formulas ≈ совместно выполнимые формулы secondarily satisfiable formula ≈ вторично выполнимая формула - finitely satisfiable - jointly satisfiable - satisfiable formula - satisfiable sentence - satisfiable statement - secondary satisfiable удовлетворимый (логика) выполнимыйБольшой англо-русский и русско-английский словарь > satisfiable
-
6 satisfiable
См. также в других словарях:
Compactness theorem — In mathematical logic, the compactness theorem states that a set of first order sentences has a model if and only if every finite subset of it has a model. This theorem is an important tool in model theory, as it provides a useful method for… … Wikipedia
Original proof of Gödel's completeness theorem — The proof of Gödel s completeness theorem given by Kurt Gödel in his doctoral dissertation of 1929 (and a rewritten version of the dissertation, published as an article in 1930) is not easy to read today; it uses concepts and formalism that are… … Wikipedia
metalogic — /met euh loj ik/, n. the logical analysis of the fundamental concepts of logic. [1835 45; META + LOGIC] * * * Study of the syntax and the semantics of formal languages and formal systems. It is related to, but does not include, the formal… … Universalium
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
List of first-order theories — In mathematical logic, a first order theory is given by a set of axioms in somelanguage. This entry lists some of the more common examples used in model theory and some of their properties. PreliminariesFor every natural mathematical structure… … Wikipedia
Berry paradox — The Berry paradox is a self referential paradox arising from the expression the smallest possible integer not definable by a given number of words. Bertrand Russell, the first to discuss the paradox in print, attributed it to G. G. Berry, a… … Wikipedia
Post's lattice — In logic and universal algebra, Post s lattice denotes the lattice of all clones on a two element set {0, 1}, ordered by inclusion. It is named for Emil Post, who published a complete description of the lattice in 1941 [E. L. Post, The two valued … Wikipedia